Text this: View-based axiomatic reasoning for the weak memory models PSO and SRA.