CAMEO: a program for the logical prediction of the products of organic reactions | Synapse