Text this: On the relationships between some meta-mathematical properties of arithmetical theories.