Pseudo-neutrino versus recoil formalism for 4-body phase space and applications to nuclear decay | Synapse