Guilty=0.8; GuiltyConvict=0.9; InnocentConvict=0.3;
Correct=Guilty*GuiltyConvict+(1-Guilty)*(1-InnocentConvict)
GuiltyIfConvicted=Guilty*GuiltyConvict/(Guilty*GuiltyConvict+(1-Guilty)*InnocentConvict)