Proof working local setup