Logical validity 3