Implementação dos predicados iniciais