Pangolin test: mizar -> newt -> Caddy on altair works