“dotty”