Work on quasivarieties.