* ternary.h: Remove.