Definition of "ramifies"