Logic for problem solving | Synapse