regex6 and regex7 are now passing in pure symbolic.