Correction regarding history.
Completed tests for bounded resolution.