These look a bit scary, but since they are automatic, we're gonna trust them (and the automated tests)