Adicao de invariantes.