Redirecting to Mac Lane's planarity criterion