hard zref-clever hard varioref