Counting overtricks is really hard and tricky