Lie: any = ...