Required dotty