The Formal Challenge Thread.