Hi, I have few Adapter classes. Each of them provide typedef operations which specifies which operations that Adapter supports (vector_c, with 0 or 1 at appropriate positions). I want to assert that two Adapters support different operations. However, my code doesn't compile. Any ideas? Daniel template struct Adapter { typedef vector_c operations; }; template struct Check { typedef typename transform< typename TAdapter1::operations, typename TAdapter2::operations, plus<_1, _2> >::type sum_of_operations; typedef typename max_element::type max_of_operations; BOOST_MPL_ASSERT((less_equal >)); }; int main() { Check< Adapter<0, 1>, Adapter<1, 0> >(); return 0; }