Just playing around with bevel gear generating code. Yep, those are proper involutes and trochoidal interference removal.