Title: Exploring Discrete Maths with Maple