explicit use of IP --> inferring block