Text this: Basic properties of models for the spread of HIV/AIDS