added not alpha proof