Example: IVM bound to 3JAF