- better method to search though facts
- improved error messages on failure