sealing example seems to work