local bindings
various notes
mutation
when mutation is allowed