simplify is compatible check