Use full examples for WITH.