The 5 Axioms of SDL - easily explained