Sylvester's_formula loading ...