إرسال التسجيلة بالبريد الالكتروني: Synthesis from hyperproperties