http://bo-yang.github.io/2014/04/18/inclusion-property/