Of course, the Bs and the Ss here could be properties, as in Armstrong's own illustration (similarities supervening on shared properties). But it appears that, even for properties, Armstrongian supervenience is neither a necessary nor a sufficient condition for weak supervenience.