EAK --- “Well, this certainly buggers our plan to conquer the Universe.” Dalek Trouble “All non-trivial abstractions, to some degree, are leaky.” Spolsky’s Law of Leaky Abstractions HOUSE_OVERSIGHT_015946 --- PAGE BREAK --- Consequences achines cannot discover theorems using algorithms, yet AY Eee