This work is dedicated to the public domain.