I am looking forward to the new support for CVC5 through Alethe. But could all those files be put in their own directory before the freeze tomorrow? We are putting up with 12 BNF files in the top level directory, but we don't need to do this again. Larry