Clarify that U defaults to T in intro