Combinators, ?-Terms and Proof Theory by S Stenlund