- toelichting naam
De aanduiding rond 1900 was "molen aan de Grevensvaart", waaruit later de naam "Grevensmolen" ontstond. Later werd ook "Deelsmolen" gebruikt, naar het boezemwater waar de molen op uitmaalt.
Maar er is meer: in het 'Earedicht oan "Douwe-mounle" to Haskerdiken' (Heerenveensche Koerier 6-09-1950) werd de molen "Douwe-mounle" genoemd, naar Douwe Douma die daar ruim 30 jaar molenaar was. In Het Nieuwsblad van het Noorden van 24 april 1959 gebruikt die naam ook.
Tot overmaat van verwarring: voor Heerenveners was dit altijd "de moune fan Haskerdiken".