Staring at a claim I've written up as a lemma, wondering about whether it is true.