"Extension and abstraction without apparent direction or purpose is fundamental to the discipline. Applicability is not the reason we work, and plenty that is not applicable contributes to the beauty and magnificence of our subject."