Add 'counter' example

(not counterexample)
Auto-pull image if we don't have it