Formal theory II