From: RETRACTED ARTICLE: An algebra of reversible computation
No.
Axiom
RB1
\(x + \tau = x\)
RB2
\(\tau + x = x\)
RB3
\(\tau \cdot x = x\)
RB4
\(x \cdot \tau = x\)