The satisfier returns