Ideas for Eliciting Examples and Specifications