phrase other half of bijection in LiftGet