Towards a Specification for the Formal Notation of Sound Laws. CALC in Practice. 2026;9(2):65-83. doi:10.15475/calcip.2026.2.1