Implemented the missing ALWAYS_TRUE operator