#logical proof #argument structure #therefore #formal proof