Finished rewriting access with read and write labels