Removed unused definitions from section 1.3