added a Hard folder and completed tests for transitivity relations