Resoluteness_criterion loading ...