Added contract+purpose statements.