Free Function Proofs Discrete hentai