The textbook of Video Game Logic