mkContract test passes