for I being set holds bool (EmptyMS I) = I --> {{}}