take Uniform_Space {{}} ; :: thesis: ( not Uniform_Space {{}} is empty & Uniform_Space {{}} is strict & Uniform_Space {{}} is void )
thus ( not Uniform_Space {{}} is empty & Uniform_Space {{}} is strict & Uniform_Space {{}} is void ) ; :: thesis: verum