3^:< ???