a bit faster contradiction check