shafrir godel