A foundational concept that can be eliminated without expressive or inferential loss fails the crite...