subtraction mistake generation and borrows across zero work