point to annotated let