xND proof view 2