let stored te = StoredCompound.define te