refinement of log-example.