Writing down proof