To summarize: a binary property P is either discernable (can’t keep your status private) or not (can’t prove your status).
To summarize: a binary property P is either discernable (can’t keep your status private) or not (can’t prove your status).