Proof of the Collatz Conjecture using logical and probabilistic approaches | Synapse