This is not a theorem | tau | ObservableThis is not a theorem | tau | Observable