categorical_statement