We present equiconsistency results at the level of subcompact cardinals. Assuming SBHδ, a special case of the Strategic Branches Hypothesis, we prove that if δ is a Woodin cardinal and both □ and □δ fail, then δ is subcompact in a class inner model. If in addition □ fails, we prove that δ is Π12\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^2}$$\end{document} subcompact in a class inner model. These results are optimal, and lead to equiconsistencies. As a corollary (...) we also see that assuming the existence of a Woodin cardinal δ so that SBHδ holds, the Proper Forcing Axiom implies the existence of a class inner model with a Π12\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^2}$$\end{document} subcompact cardinal. Our methods generalize to higher levels of the large cardinal hierarchy, that involve long extenders, and large cardinal axioms up to δ is δ+ supercompact for all n < ω. We state some results at this level, and indicate how they are proved. (shrink)

A growing number of studies have found that large brains may help animals survive by avoiding predation. These studies provide an alternative explanation for existing correlative evidence for one of the dominant hypotheses regarding the evolution of brain size in animals, the social brain hypothesis (SBH). The SBH proposes that social complexity is a major evolutionary driver of large brains. However, if predation both directly selects for large brains and higher levels of sociality, correlations between sociality and brain size may (...) be spurious. We argue that tests of the SBH should take direct effects of predation into account, either by explicitly including them in comparative analyses or by pin‐pointing the brain‐behavior‐fitness pathway through which the SBH operates. Existing data and theory on social behavior can then be used to identify precise candidate mechanisms and formulate new testable predictions. (shrink)