Describir: The future of post-human mathematical logic /