hey hey people, first time with Coq and shit posting it from old highschool pc