satisfactions

not defined yet