רפאל לוי RAFAʾEL LEVI was executed.