This podcast episode discusses the possibility of an automated reasoning system for finding predicate functions and suggests that finding situations where existing theories cannot explain could be a starting point for discovering new predicates.