17.2.3. Unforseen Types