Physics subsystem formalised