Exercise for learning STL