I’d say definitions are “unverified” given there’s no definition of true or false for one. By the commutative property of isness, that means definitions are factoids and we can eliminate one of the words.

See? We’re making plusforward here. Red commits are better than green commits. That oughta be the first definition in the dictionary imo.