proof more text attributes