subset construction
Merge pull request #2 from kyleiwaniec/subset

Subset
Merge pull request #3 from kyleiwaniec/master

update dev