Bernoulli automorphism