Añadidas un par de inferencias más