(let:tree:cf
  leaf
  (w{mono} (* proof leaf 2 *)
    node
  )
)
