Title: Combinators, ?-Terms and Proof Theory