some more proof beautification