A Formal Model of Church and Sect | Synapse