The problem is a lack of calculus for conditionals. Yes we can easily calculate values from conditional formulas, but we have no way to characterized their behavior. No way to derived proofs when there is an "if" in the formula.

There is a fields medal and 50 years worth of mathematical and scientific advancements locked up behind a calculus for conditionally branching equations. #CollantzConjecture