Use boolean.h for eq.c