Formal features