take {} ; :: thesis: {} is Cardinal-yielding
thus {} is Cardinal-yielding ; :: thesis: verum