P6 algebra: solve it by undoing it