Improved HTBool