You should make a note to state that SAXON is not strictly necessary.