reformalizing