Adicionado preconditions