Theory of Logical Nets | Synapse