Crytographic limitations on learning Boolean formulae and finite automata | Synapse