man satisfies

.