Hot: contraiction