SMS: The Laws of Programming