Modification of play()

A modification of the definition of play(). It actually makes sense now.