Another bit of structure in