trying to use dotty