alpha proof task