Don't forget to propagate f.