Quantification_(logic) loading ...