weird syntax here.  what does None$ mean?