Ifølge Lewontin er den teoretiske oppgaven for populasjonsgenetikk en prosess i to rom: et «genotypisk rom » og et»fenotypisk rom». Utfordringen med en komplett teori om populasjonsgenetikk er å gi et sett med lover som forutsigbart kartlegger en populasjon av genotyper (G1) til et fenotyperom (P1), hvor utvalg finner sted, og et annet sett med lover som kartlegger den resulterende populasjonen (P2) tilbake til genotyperom (G2) hvor Mendelsk genetikk kan forutsi neste generasjon av genotyper, og dermed fullføre syklusen. Selv om ikke-Mendelsk aspekter av molekylær genetikk ignoreres, er dette en gigantisk oppgave. Visualisere transformasjonen skjematisk:

G 1 → T 1 P 1 → T 2 P 2 → T 3 G 2 → T 4 G 1 ‘ → ⋯ {\displaystyle G_{1}\;{\stackrel {T_{1}}{\rightarrow }}\;P_{1}\;{\stackrel {t_{2}}{\rightarrow}\; p_{2}\; {\stackrel {t_{3}} {\rightarrow}\; g_{2}\; {\stackrel {T_{4}} {\Rightarrow}}\; G_{1}’\;\rightarrow \cdots}

(tilpasset Fra Lewontin 1974, s. 12). T1 representerer de genetiske og epigenetiske lovene, aspektene av funksjonell biologi, eller utvikling, som forvandler en genotype til fenotype. Dette er «genotype-fenotype kartet». T2 er transformasjonen på grunn av naturlig utvalg, T3 er epigenetiske relasjoner som forutsier genotyper basert på de valgte fenotypene Og til slutt T4 reglene For Mendelsk genetikk.i praksis er det to legemer av evolusjonsteori som eksisterer parallelt, tradisjonell populasjonsgenetikk som opererer i genotypeområdet og den biometriske teorien som brukes i plante-og dyreavl, som opererer i fenotyperommet. Den manglende delen er kartlegging mellom genotype og fenotype plass. Dette fører til en «fingerferdighet» (Som Lewontin betegner det) hvor variabler i ligningene i ett domene betraktes som parametere eller konstanter, hvor de i full behandling ville bli forvandlet seg av evolusjonsprosessen og er funksjoner av tilstandsvariablene i det andre domenet. Den «fingerferdighet» antar at kartleggingen er kjent. Å fortsette som om det forstås, er nok til å analysere mange tilfeller av interesse. For eksempel, hvis fenotypen er nesten en-til-en med genotype (seglcellesykdom) eller tidsskalaen er tilstrekkelig kort, kan «konstantene» behandles som sådan; det er imidlertid også mange situasjoner der denne antagelsen ikke holder.