O inventário de ProvseN está atualmente com a visibilidade privada.