Superceded by thmj3g-tools