are the double `!!` necessary here?