SN proof