Example: NIM bound to 1ZWP