add note on notReverse
Merge remote-tracking branch 'upstream/master'
Apply implemented in terms of Bind

Not all the other bind excercies done yet