checked annotation