 A strongly 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 x has G, and necessarily everything that has G has F, i.e., iff 