start writeup on locking example for Otto