The anti-deprivation rule and ipso facto clause prohibitions—a necessary clarification | Synapse