∆PL: ◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL)^◊f:(x((UIUN)th Gate)/(Maximum ÛPL usage)/(Maximum ÛPL usage^^^^^...^^^^^Maximum ΩPL usage^^^^...^^^^Maximum... ...PL usage))^^^^^^^^^^^^^^^^^^^^...^^^^^^^^^(his own PL) (Each ... is this phase's PL times)
1 ∆PL = equivalent to any definitions using words as an understatement beyond all understatements defined before this point, beyond any number of defining by using ÛPL, and even this is a mere 0 compared to this PL type, and even this is an understatement in itself.
