Højsted, I. H. Proof As an Explanation of Dynamic Geometry Generated Conjectures – Task Design in a Toolbox Puzzle Approach. NOMAD 2023, 28, 157–176.