Triangle rewrite [work]