Lists by prooftheory