paper: apostle and missionary pseudo code