Discrete-math 6