Finished dealing with issue1-consequent