derive satisfaction