Read and write bits: reduction rules