|entries|proof-theory|