Sinding-Larsen, S. Operational Determination: Math in Buildings and Math Statements about Them. EMCO 2018, 2.