new guarantees laws; also better natural deduction style for old ones
new guarantees laws; also better natural deduction style for old ones

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle