Using Aleph Beta in the Classroom