ParentFull threadevolveyourmind·The decreasing number worked, ty. Writing proofs with this will be impossible tho :DView on HN