improved test case - proof still incorrect