added notes about genprob formulation