add mainworld predicate function