User blog comment:LittlePeng9/First order oodle theory/@comment-30167082-20161222182647/@comment-24920136-20161222185703

thus a is member of b if the oodle assigned to a is amongst the oodles assigned to b.