so 3 becomes very straightforward with merged locks, and doesn't require any mutation