W = {x/x is a factor of 16}