Add section on computing compactness