A statement is said to be 'falsifiable in a higher degree' or 'better testable' than a statement, or in symbols: Fsb(x) Fsb(y), if and only if the class of potential falsifiers of includes the class of the potential falsifiers of as a proper subclass.