rm local files.
implemented EnvelopeTest. fixed several bugs in Envelope.