Consistency Proofs for Systems of Multi?agent Only Knowing