N4512-17 ct[u^