Deakstadieđáhus: The Laws of Programming