envelope, not boundary