Point-counting and applications