Have no intention of publishing this, so it is unnecessary