tptp_compliance verify --equivalence strong --no-proof-search --save-problems $OUT choice.1.lp choice.2.lp
