versão apresentada no FTSL