fixed kernel making; mathematica checker