More work on HofrpExperiment.