A coincidence is not ironic