Why Type Checking Is Performed