SZS status Theorem for i/f/toto/toto__not__less__refl
