Definition of "Sylvester"