Proposiciones de anotaciones y TD