@johncarlosbaez the more I hear about this, the more interesting it sounds