A protocol analysis of use of forward and backward reasoning during valuation problem solving. Issue 5 (21st October 2019)