take bool X ; :: thesis: ( not bool X is empty & bool X is compl-closed & bool X is cap-closed )
thus ( not bool X is empty & bool X is compl-closed & bool X is cap-closed ) ; :: thesis: verum