did we already rule out annotations?