set T = the complete strict Scott TopLattice;
take the complete strict Scott TopLattice ; :: thesis: ( the complete strict Scott TopLattice is complete & the complete strict Scott TopLattice is Scott & the complete strict Scott TopLattice is strict )
thus ( the complete strict Scott TopLattice is complete & the complete strict Scott TopLattice is Scott & the complete strict Scott TopLattice is strict ) ; :: thesis: verum