Forward translation works, add tests