polymath error: macro expansion ran amok. self-reference?