$5000 Maurice Prize Formal Analysis Due