Inspiring class with a contract example