`s/prove/tell`