Investigations into Proof Structures