Item 3.1.10.c.

You are looking for a row in which \(P\) is true, and the whole statement is true.

in-context