Why does Spacewatch have a circled R after its name?