Some Local-Global Principles for Formally Real Fields