resolution passes more complex tests