E -> NT
IO -> Io in names to adhere to convention
update TODO