[BETTER] Conditional-proof-logic-calculator