undefined for Digital Electronics for Engineering's students