Verification of the Particle Physics System: Boundary Definition and Special Case Proof of the Standard Model and Grand Unified Theories | Synapse