Scaling the ladder of abstraction
	Kun: “Mathematicians regularly scale this ladder, particularly in the later stages of graduate school”
	(a major topic of CS 2150)

Which is more abstract:
	- All monkeys are in love
	- For every monkey P, there exists another monkey Q such that P ≠ Q and P loves Q and Q loves P