PSA generates strings. Unsure about how correct they are.