Hey all. I don't know much about Mastodon. Are these assumptions correct?

1. Mastodon is the name of a particular server + client web interface program.
2. There are several other kinds of server + client web interface programs available.
3. ActivityPub is the underlying protocol, by which said programs interoperate.