Adding Sylvester as dependency