SMT and TOFT: Why and How They are Opposite and Incompatible Paradigms