Text this: The Axiomatic method: