Geometric Cybernetics (Lukin) — Formal Core | Synapse