 A weakly supervenesm on B if and only if necessarily, if anything x has some property F in A, then there is at least one property G in B such that x has G, and everything that has G has F, i.e., iff 