names are fully qualified before typing