📝 publish a preprint about verifying joinable red-black trees in calf