SIGMA: Pedro entrou ou saiu