The challenge in selecting a function from an infinite number of predicates that is admissible and small enough to solve a problem, can be addressed using invariance. However, it requires selecting a finite set of invariance rules that mimic human understanding, as logic-based systems are not sufficient on their own.