The logic part of "duishi2013"