P01-1054 this . In practice , the same signature completion type , , can be used for different
P01-1054 has already been computed , the signature completion algorithm runs in , where is
hide detail