On Equivalence of Tractable and Non-polynomial Classes of Complexity | Synapse