CAANH 2019 Formal