fixed overgeneral test