Guest Post: What Does It Mean If Greece CDS Is Trading At 2000 bps?