Invariant Admissibility Constraints - A Domain-Independent Definition of Law | Synapse