The language permits the let...in... statement which allows us to define labels for quilts and use them in expressions
Even more syntax makes things easier...