Update comments re. how inverse is solved