Redirecting to Borel determinacy theorem