They satisfy