document the need for a more general mechanism for attributed variables