finite games vs infinite games