Contradiction that throughout must solve