nyaya.prop
Test that all Bs are present in Cs.
Test that no Cs are on a blacklist.
Test that all Cs are on a whitelist.