combining modalities
the Friedman translation