launch equipment used for * anything else */ fact { all w: Store | all r: Load | w->r in rf <=> w = 1.25 G 0 -2 -' I- "" I',; '; O = PULSE DELIVERY t = v1 r vfmul.vf v4, v2, ft0, v0.t # t r - (0.5 t) (t r