change 2

minimum is unary Or leaf
change 3

testing by cases