>>780
今は記号論理に寄り道しています…