FXEMPIRE
PROVERanque #546
Succinct