[Screencast: Counting atoms]