(well, just thinking about it now, I guess we don't necessarily want this assertion. I guess it really depends what this macro is trying to model.)