Free Function Proofs Discrete hentai cartoons