HLD VS. DETAILED SPECIFICATION: UNDERSTANDING THE CRUCIAL DISTINCTIONS