>>749
deterministicな議論なら∀を内側に入れられるやろ