Skeleton of ITP paper.