Definitions of “concepts” like commutativity? Yikes.