The logic is irrefutable