Fixed generalizing statement