Implement pa_sv_true, *sob*