"an assumption contradicted now"