four DNFs