Conditionals_Personal problem, givens, and result statements added