https://123dok.org/document/1y989lvz-a-logic-for-quantum-register-measurements.html