ramification (implies)