def annotations