SZS status Theorem for i/f/option/SOME__APPLY__PERMUTE
