[EM] Inferring a method from an MMC axiom

[Markus Schulze]

Dear Craig,

you wrote (11 March 2003):
> Case S = 0 : MNW = Min{Ceil(1*0.65)-1; 2} = min{0; 2} = 0
> Case S = 1 : MNW = Min{Ceil(2*0.65)-1; 2} = min{Ceil(0.3); 2} = 1
> Case S >= 2: MNW = Min{Ceil(3*0.65)-1; 2} = min{Ceil(1.95); 2} = 2

You meant:
> Case S = 0 : MNW = Min{Ceil(1*0.65)-1; 2} = min{0; 2} = 0
> Case S = 1 : MNW = Min{Ceil(2*0.65)-1; 2} = min{Ceil(0.3); 2} = 1
> Case S = 2 : MNW = Min{Ceil(3*0.65)-1; 2} = min{Ceil(0.95); 2} = 1
> Case S >= 3: MNW = Min{Ceil(4*0.65)-1; 2} = min{Ceil(1.6); 2} = 2

Markus Schulze