Left some comments to go back to A-hsetregs