Text this: Lectures on formally real fields /