You could have run with a one-point basis: https://en.wikipedia.org/wiki/Combinatory_logic#One-point_ba...