more or less complete proof tree rendering