FXEMPIRE
PROVERanque #413
Succinct