finish the correction in section 6 but not added yet more intuitions for the definitions
resolve the conflits