Yep, semantic backtrace is very handy when you need the user to understand the error and fix input data.