Email Record: Lectures on formally real fields /