wrote to op description of Facts, before change on op description of Program
finish the Fact section, and some change