Licence information
This is a pre-copyedited, author-produced version of an article accepted for publication in Proof Technology in Mathematics Research and Teaching following peer review. The version of record is available https://link.springer.com/chapter/10.1007%2F978-3-030-28483-1_5
Copyright statements
© Springer Nature Switzerland AG 2019