started cobbling together a more general binary lift function