( | { fl . \ f , f.