satisfied by

.