; #contradiction