1 n k assert n9