Stav dette: The laws of occam programming