Butterfly theorem | tau | ObservableButterfly theorem | tau | Observable