For each member of ℘(T), there is a further truth specifying whether a given truth t1 is or is not a...