Discrete Math lecture 13