complete and test hypothesis reduction