Especificação inicial.