P:X→{true, false}