TRUE and FALSE are implemented.