HLD VS. DETAILED SPECIFICATION: THE FUNDAMENTAL DISTINCTION