Three-Language Formula