f : a Holl.