Boolean has_Length and _divides
Recursion with different relations solved
Clean code
warnings solved
Simplified not expressions
Documentation update
Aggregation functions
Clean code
Aggregation with anonymous variables bugfix
Bugfix: Meaning of the universe
update CHANGES
documentation update
Update README
Update README
Grigories improvement
Merge remote-tracking branch 'origin/grigory'