ยง Example where MIP shows extra power over IP