AGD Formal 2018 - Whitney Blake Claunch