Tag number theory