reformalizes