Can we be sure that `contacts` will be non-zero?