Describir: The little prover /