satisfyings: relusting: = x