Inn At The Mill - Proofs