Cartan's_criterion loading ...