mmn

syllogism