Sequential formula translation | Synapse