Begin commit functions with contracts