Analysis Model for Sealed Envelopes Domain