Wrote specs for translateChain and pickArbitrary.