Contradicion
EXIT