Some remarks on assertion and proof