P ← (⥊·↕2⥊˜≠)/¨<