P is set F is set T is not set