Logik af detta slag är beqväm och ovederlägglig.