satisfies several

.