implement reverse translation; closes #37