satisfied by