Finished Congruency (I think). Deleted Main, will have to be tested once pieced together with everything else