1 2 3 4 5 6 7 8 9 10 11 12
word Min3 = [ A <= B && A <= C : A; B <= C : B; 1 : C; ]; word Min3 = [ C <= B && C <= A : C; B <= A : B; 1 : A; ];