put the definition of Z into a remark with a label