$RESOLV: todos os TPs atingidos.