on Two Combinators -- Converting between Combinatory Reduction Systems and Big Step