Syllogisms

Main identifier (DDC): 166