The Early Math Model Behind Help Arti
Here you find our notes on the model: