Proof-Searching to Propensity to get Laid