This is actually very interesting and you could write a little more about it:
what is this superposition linear equation, why exactly 4 transactions are needed, what does this bit level look like and how to find it, etc ...