Natural proteins must both fold into a stable conformation and exert their molecular function. To date, computational design has successfully produced stable and atomically accurate proteins by using so-called "ideal" folds rich in regular secondary structures and almost devoid of loops and destabilizing elements, such as cavities. Molecular function, such as binding and catalysis, however, often demands nonideal features, including large and irregular loops and buried polar interaction networks, which have remained challenging for fold design. Through five design/experiment cycles, we learned principles for designing stable and functional antibody variable fragments (Fvs). Specifically, we (i) used sequence-design constraints derived from antibody multiple-sequence alignments, and (ii) during backbone design, maintained stabilizing interactions observed in natural antibodies between the framework and loops of complementarity-determining regions (CDRs) 1 and 2. Designed Fvs bound their ligands with midnanomolar affinities and were as stable as natural antibodies, despite having >30 mutations from mammalian antibody germlines. Furthermore, crystallographic analysis demonstrated atomic accuracy throughout the framework and in four of six CDRs in one design and atomic accuracy in the entire Fv in another. The principles we learned are general, and can be implemented to design other nonideal folds, generating stable, specific, and precise antibodies and enzymes.ue to their versatility, dozens of antibodies are in routine clinical use to diagnose and treat the most intransigent diseases and thousands more are used as research reagents. These antibodies were all isolated either by animal immunization or from synthetic repertoires that mimic the diversity of vertebrate immune systems. Notwithstanding these successes, however, natural repertoires have limitations, including biases and redundancy in representing the vast potential sequence and conformation space available to antibodies, and many antibodies exhibit polyspecificity and low expressibility, failing to meet the stringent requirements of research or clinical use (1-3). It has therefore been a longstanding goal of protein engineering to "build antibodies from first principles" (4).Computational protein design has mostly targeted so-called "ideal" proteins with high secondary-structure content, where polar backbone atoms form regular, short-range hydrogen bonds (5-9); irregularities, such as those seen in long loop regions, were almost absent from these designs. By contrast, the functional surfaces of most natural proteins, including antibodies, contain nonideal features, such as unpaired polar groups, buried charges, and long loops that are essential for function (10, 11). It has therefore been postulated that computational design of "nonideal" backbone and sequence features is of fundamental importance for understanding protein structure, stability, and function, and may open the way to the application of computational-design methodology to difficult problems ...