Removing TODO comment from auxiliary.logic