A formula is a finite series of natural numbers, and a particular proof-schema
is a finite series of finite series
of natural numbers.