FOL mixer (1)