What 'is' is?

ahh, predicate logic.