Types rules for and mission to universities