[ST-discuss] A possible nit in the accepted decrypt proposal