[math-fun] Heighway triple points redux