@2016 Formal Flash