Very long prelude: $NOT + Lost Dogs