prosyllogism

not defined yet