Topic: pattern matching vs reasoning