Finished working on box format propagation.