Blooddy tough stuff. I was trying to teach my 12yo to cut it and using a different knife (nakiri, which suits her better). Found it a bit hard. Don't think the knife was blunt but from memory (Hap40 so haven't sharpened it in ages) it was fairly highly polished. What's best (for finely slicing), polished edge or toothy edge? Push slice, draw slice or push cut?