 We can check property 2 especially when op1 is "write" and op2 is "read", and 'read" is immediately after "write".We can show by contradiction.Assume the "read" does not see the "write", and then according to the implementation, we must have two disjoint sets of size (n-f) among the n processes.