Formal Heritage