Computational basis of hierarchical and counterfactual information processing · Study