Explicit annotation