Mentalist evidentialism vindicated (and a super-blooper epistemic design problem for proper function justification)