Further annotations