(-P --> -P) --> P
(-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 referential statement as -(-P).