SZS status Theorem for i/f/toto/toto__equal__imp__eq
