For the time begin, Nenya is focused on non-redundant case.