Add some comments about mont reduction to make it a bit clearer