annotation (...) let's -> annotation (...) lets