Harry Potter spoof - a project for Foundations of Mathematics, Math 281 at St. Mary's College of Maryland (SMCM)