First Order Logic

I would personally just not do this. It's better to use isinstance to tell what class it is.