Proving your kernel is right

2 points | by matt_d 9 hours ago