Symbol: satisfy