Documents

I add documents of internal data structure.
Please read a proof.