sanity checks
equality operator