cleaned up iscontradiction