compact at the top level