n0-consequence