(-P --> -P) --> P

(-P --> -P)  as subject to the law of identity is -P also directed towards itself into a self negation into a new tautology. To say (-P --> -P), where -P is self referencing is to simultaneously state a self referentiality as -(-P).