The Kaoru Scheme: Analysis and Formalization | Synapse