I. H. Højsted, “Proof as an explanation of dynamic geometry generated conjectures – task design in a toolbox puzzle approach”, NOMAD, vol. 28, no. 3-4, pp. 157–176, Dec. 2023.