Formalized Data Snooping Based on Generalized Error Rates | Synapse