FXEMPIRE
PROVERanque #644
Succinct