Looks like @tarjan hasn't received any replies yet!