Completed GUI for proof building with subproof boxes