xND proof view 1