Switch to 'I_n
Add code for a fourth representation of NonEmpty