Stav dette: The Laws of Programming