The Price of Proof by Ulot Idama