Subset Construction. Check