Hot: rule11isreal