rm formal from retrofit.tex