family triangle (rewrite by ezrewriter)-