Text this: Imagination and proof :