initial commit of verified working functions