Constructing persistent data in THINK