add counter example (pretty dumb, actually)
add Lynx/transaction chains