Implement envelope operation.