Finished the transaction CONSTRUCT query for the category theory and wrote the tests for the three statements.