Analysis - reversible computing