digraph foo {
"k *" -> "k+1 *" -> "..." -> n
"k-1" -> "+inf"
"k-1" -> "k *"
}