Relaxed annotation