Extending languages.
B reduction model.