Impromptu Investigations in Proof