Most Specific == Logical Implication

• isinstance(x,int) implies isinstance(x,object)

  • isinstance(x,int) is more specific

• (A and B) implies A

  • (A and B) is more specific than A

• A>10 implies A>1

  • A>10 is more specific

• A<1 implies A<10

  • A<1 is more specific

• Etc.

Notes: