Double Addendum

However, if pinball doesn't exist in your setting, have somebody invent it. This is important.