というより逆接の投影を返してるだけだろうね