Example: 3MI bound to 4HIS