Ad_hoc_hypothesis loading ...