Does this make sense? it seems like it's just saying that a variable bound in a pattern is initialised by the binding itself.