“Defining, exemplifying, conjecturing ... to proveif a number is a happy number”, AIEM, no. 5, pp. 5–24, May 2014, doi: 10.35763/aiem.v1i5.73.