should work if only Semant would see Symbol / tigermain...