consistence up to the end of Sec3