usr/lib/x86_64-linux-gnu/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
