Separate consistency proofs for different components