Jacaranda Trees

I think these are Jacarandas? Uncle Robert (or anyone else), I fully expect you to correct me if I am wrong! Whatever they are called, we love them. Its fun to walk down the streets of Orange and see purple trees!