A definition of tictactoe in K