Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces