Here too for #f.