Japanese theorem | tau | Observable