WHY DIDN'T SHLOMO HAMELECH USE PROPHECY TO FIND THE SHAMIR WORM?