Some outputs from christos environments