Dissemblers and proof assistances