Describir: The laws of occam programming