Proofs: Hobbs B