Formal Variant

Inertial Frame