A protocol analysis of use of forward and backward reasoning during valuation problem solving. Issue 5 (18th September 2019)