Added mathematical theory