A principle in Logic that states if there are no true paths, then the expression is false. Used in Prolog Search Tree