A proof is genuinely intuitive only if its core objects can be concretely exhibited or approximated,...