satisfaction_suffices
