Ketubot 76–כתובות עו Ketubot 76a and Ketubot 76b, figuring out the burden of proof with shifting prior assumptions.