with-examples -> show-examples