logically valid

>