resolution passes some simple tests