two-language formula