Removed a wrong fact and added tests for the rest