Describir: Proving the unprovable