true premises

>