HLD VS. DETAILED SPECIFICATION: A CRUCIAL DIFFERENCE