$PHA diretamente vazio