Interesting - what is correctness of the kernel here? That it faithfully implements the model?