Seven Equations for Seven Unsolved Problems: Formal McCaul's Law Derivations (MCT-1, MVCC, MBSL, MSCL, MCSL, MFCL, MGCSL) | Synapse