La Profilée - Core Specification - Definitions, Axioms, Theorems, Falsification Conditions, and Limits | Synapse