Virtually_fibered_conjecture loading ...