Everyone that is entitled to the right to life and liberty cannot be deprived of their rights without due process of law.
∀x (EntitledTo(x, rightToLifeAndLiberty) → ¬DeprivedOfWithout(x, rights, dueProcessOfLaw))