Changed weird 'b' in type sig for evaluate to 'a'.