The Formal Reasoning Group will advice on the creation, design, testing, and implementation of the challenge problem suite, throughout the proposal period.