`default: Option[Term]`