more on quasivarieties.