Title: A natural method of proving properties of programs