Internal foundations

Internal foundations

Internal foundations