Yes they do, as well as checking any write preconditions