Snazzy Maps Super Simple Example
Dark LTL