Mathematically precise model of