A small, simple teaching tool for a teaching demonstration on logic and computer science.