Illustration of reactive and presumptive substitution modes, based on Adner's framework