logic contradict infinite