Founding Mathematics on Semantic Conventions - Hansen, Casper Storm (Springer, 2021)