Formal Label 4