[kisoron-ml] noncommutative logic