Type Formation : Continue