added notes about proofs, exchange-arg and stays-ahead
deleted mumbo jumbo osx-file
Merge pull request #1 from bowald/master

Pls apply this