Property of consistent intended behaviour and results