§ Example where MIP shows extra power over IP