Japanese theorem | tau | ObservableJapanese theorem | tau | Observable