//contradiction4