A "Set and Logic Environment" for the use of beginner CS students learning sets and propositional logic.