"[A]bstract theory often comes from wanting to be lazy, or... conserving brain power, conserving energy, because if you do the same thing over and over again, wouldn't you rather not... and just do it once... [T]hat's what abstract theory is there for... [T]hat applies to all sorts of aspects of life, not just sciences and programming"