refining

• divesting
• Multics
• Enrique
• airfields
• unsubstantiated
• extrinsic