SZS status Theorem for i/f/llist/MONO__exists
