Proof that configuration works