Indenting
Refactoring tests: using more examples instead of facts