Prove composition