A more complex set of foundations