translate if_pyth.jax
translate spell.jax
improve translation