some fill-ins on concl.tex