completed definition and proofs for interpretation of configurations