{〈satisfaction〉}

{}