HLD VS. DETAILED SPECIFICATION: THE CRUCIAL DISTINCTION