assert n = 42