Re: Birkhoff variety theorem