Prove carrot