Contra logic