with: Theme ~> Theme