Rigorous Analysis on the Basilisk Tree