Conversion between combinator birds and the SKI calculus