This should just be `c = Dummy('c')`.