Add some notes about semantics of cow.js