more edge cases and iequality