New developments, sections, and log updated.