implementacao de exemplo de preConditions e contexts.