Yeah I want to give respect to this one once again. I think I finally get ISF theorem after reading this.