Began refactor so that all reduction steps can be shown without the possibility of indivisible operations being interfered with.