Finished HVN. Need constraint rewrite.