reduction

combination; injection; normal form;