after meeting, improved a little proof samples, probably register is incorrect