[AlbertoGP]

That’s a very good example: realistic, very concise, and shows clearly how the annotations and checks work.