all complete but demonstration and conclusion