RE: Heawood graph crossing number