The third formula formalizes the effect of loading the gun at time 0 {\displaystyle 0} .
3番目の論理式は時刻0で弾丸が装填されることを表す。