Abstract for IWIL