Removed working notes on authentication claims.

Need both NI-SYNCH and NI-AGREE because while synch is stronger, a failure of agree doesn't mean a failure of synch.