reverse parsing: Clearer algorithm