(= a (= b c))