Liberados pra jogar?

Será que os jogadores Tadeu e Ramon estão liberados para enfrentar o Grêmio na quinta-feira? Acho que o contrato deles não deve ser igual ao contrato do Cleiton Xavier com o Internacional, em que este não pode enfrentar a equipe colorada. Como nada foi dito até agora a respeito deste assunto, tanto o Tadeu como o Ramon devem jogar contra o Grêmio.