updates - the result was supposed to be proven false