Hyper-arc_consistency loading ...