Title: Object-oriented concepts and proof rules