Conquering domain membership problems