Compositionality works: if i_k→i_k' and i_m→i_m', the resulting meaning IS derivable as f(i_k', i_m'...
This proposition has not been edited since the history system was added.