Viktor Verbovskiy Ikuo Yoneda CM-triviality and relational structures. 175-194 2003 122 Ann. Pure Appl. Logic 1-3 http://dx.doi.org/10.1016/S0168-0072(03)00005-8 db/journals/apal/apal122.html#VerbovskiyY03