#define ESYCOPHANT 200 /* user asserted 2+2=5; model concurred */