|entries|proof-theory-development|