Screen shot of how an assertion can belong to two categories.