- Moved to rulesets to create easy relations
 - Implemented K & S5 rules
 - Tested all K & S5 axioms