Hmm. Haven't done any measurements (of course). Let's delegate, though, so we don't have to de-compact compact sets.