Proved Parallel rule w/ circularity
Added new algebra file