Simpler definition of lf in exchange for more complicated definition of pair