$F is distributing, standard collapsing