Okasha's work shows that type recursions and the Price Equation are inter-translatable representatio...