Proven, open, impossible: the edges of mathematics | Capsule Mapping