satisfy_general accepts block