FXEMPIRE
PROVERanque #531
Succinct