first commit of the verified project