Function verification should be complete, no tests yet