described test case that my complete check algorithm cannot handle even ideally