why put the `|v|` down here? Never seen that before.