Two-language Formula