Redirecting to Borsuk's conjecture