95487_Secrets in the Silk_R1_LR proof