Added coding contracts