step: recrystallization is a kind of event & if an event is required for a process then that event must occur before that process can occur
inference: if recrystallization is required for a process then recrystalization must occur before that process can occur