Proof fragments work