Sylvester's_criterion loading ...