minor
all smooth projective schemes are varieties...