More English translation (still incomplete).