write values [...] Writing and forcing You can write variables
the (negated) the value [...] AND of the accumulator value [...] OR of the accumulator value