undefined for Logic for Engineering's students