let
stored te =
StoredCompound
.define te