basic fact correction and ordering