formal is pairlist