Completeness_(logic) loading ...