Wrote some stuff on internal representation.