But corrected to stick with game semantics....