Formal matrices. (2017)