Updated coding contracts