Comment by lairv

We know that they correctly implement their specification*