Spectral Probabilities and Generating Functions of Tandem Mass Spectra: A Strike against Decoy Databases | Synapse