The checkArgument above makes the resulting else branch impossible to reach...