Stav dette: Theory construction: from verbal to mathematical formulations