Acyclic_resolution loading ...