Do the same for SealedExp