error(evaluation_error(zero_divisor))