Fetching details from the dictionary...
end; close; finish; truncation; discontinuance; closure; cancellation; breaking off; aborting
end of play (in go)