wrote the functions which switch reduced into nonreduced labelings and back