[Loureno--Santos.9.112]