Formal Aspects of Computing A Nitpick Analysis of Mobile IPv 6