Number One is said to perform the same role for Captain Pike as which Leonard Nimoy character did for Captain Kirk?